This book constitutes the refereed proceedings of the 18th International Conference on Software Engineering and Formal Methods, ...
Continue readingThis book constitutes the thoroughly refereed post-conference proceedings of the 14th International Conference on Software ...
Continue readingThis book constitutes the refereed proceedings of the 22nd International Symposium on Stabilization, Safety, and Security ...
Continue readingThis book constitutes the refereed proceedings of the 32nd IFIP WG 6.1 International Conference on Testing Software and Systems, ...
Continue readingThis book constitutes the refereed proceedings of the 14th International Conference on Tests and Proofs, TAP 2020, held as ...
Continue readingThe objective of this work is to detect Alzheimer’s disease using Magnetic Resonance Imaging. For this, we use a three-dimensional ...
Continue readingThis Book State-of-the-Art Survey describes and documents the developments and results of the Once-Only Principle Project ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis three-volume set, LNCS 12550, 12551, and 12552, constitutes the refereed proceedings of the 18th International Conference ...
Continue readingThis two-volume set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis book set constitutes the proceedings of the 26th International Conference on Tools and Algorithms for the Construction ...
Continue readingThis book constitutes the proceedings of the 21st International Conference on Web Engineering, ICWE 2021, which was supposed ...
Continue reading